Selfdistributive Groupoids. Part A2: Non-idempotent Left Distributive Left Quasigroups
نویسنده
چکیده
The present paper is a comprehensive survey of non-indempotent left distributive left quasigroups. It contains several new results about free groupoids and normal forms of terms in certain subvarieties. It is a continuation of a series of papers on selfdistributive groupoids, started by [KepN,03].
منابع مشابه
Selfdistributive groupoids Part D1: Left distributive semigroups
Every semilattice (i.e., an idempotent commutative semigroup) is selfdistributive. An explicit formulation of this fact (perhaps for the first time) can be found already in C. S. Pierce [Pie,80]. A structural study of two-sided selfdistributive semigroups was initiated in M. Petrich [Pet,69] and that of one-sided selfdistributive semigroups ten years later in S. Markovski [Mar,79]. Altogether, ...
متن کاملOn Varieties of Left Distributive Left Idempotent Groupoids
We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity x ≈ x decomposes as the direct product of its largest idempotent factor and a ...
متن کاملSubdirectly Irreducible Non-idempotent Left Distributive Left Quasigroups
Left distributive left quasigroups are binary algebras with unique left division satisfying the left distributive identity x(yz) ≈ (xy)(xz). In other words, binary algebras where all left translations are automorphisms. We provide a description and examples of non-idempotent subdirectly irreducible algebras in this class.
متن کاملNon-idempotent left symmetric left distributive groupoids
Subdirectly irreducible non-idempotent groupoids satisfying x · xy = y and x · yz = xy · xz are studied.
متن کاملSelfdistributive Groupoids of Small Orders
After enumerating isomorphism types of at most five-element left distributive groupoids, we prove that a distributive groupoid with less than 81 elements is necessarily medial.
متن کامل